//]]>
Euro-Par 2012: Parallel Processing Workshops by Caragiannis, Ioannis. Publication: . XXIV, 589 p. 232 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Aided Verification by Madhusudan, P. Publication: . XVI, 789p. 192 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart

Languages: 
English |
العربية